Proof of program correctness
[計(jì)] 程序正確性證明
?? 詞語組成解析
proof
[pruf]
n. 證明;校樣;檢驗(yàn);（酒的）標(biāo)準(zhǔn)酒精度;
adj. 防…的;抗…的;能抵御;能防范;
vt. 給（織物）做防護(hù)處理，使防水（或防火等）;印…的校樣;
vi. [印刷術(shù)] 校對(duì);發(fā)酵;
prob, prov Prob, prov= test, 表示”測(cè)試,證明, 檢驗(yàn)”
of
[?v]
prep. 關(guān)于;屬于…的;由…制成;
aux. 助動(dòng)詞 [非標(biāo)準(zhǔn)用語、方言] =have [主用于虛擬語氣];
program
['proɡr?m]
n. 程序;節(jié)目，節(jié)目單;計(jì)劃，安排;
v. [計(jì)]給…編寫程序;為…制定計(jì)劃;設(shè)計(jì)安排活動(dòng);編排;
pro在前+gram寫，圖→在前面寫好→計(jì)劃；提綱
[計(jì)] 正確性\\n[經(jīng)] 正確性
??? 情景例句
Here, take a look at these Rolexes.
來看這幾只勞力士吧！
I appreciate your helping me.
感謝你的幫助。
One wonders also why Nature, with some snakes, concocted poison of such extreme potency.
然而，在脊椎動(dòng)物中，大自然神秘模測(cè)地只選擇了蛇（還有一種蜥蜴），人們弄不清楚大自然為什么在某些蛇的身上調(diào)制出如此高效的毒液來。